Merge pull request #2577 from dbnicholson/man-html
authorColin Walters <walters@verbum.org>
Sat, 9 Apr 2022 19:46:25 +0000 (15:46 -0400)
committerGitHub <noreply@github.com>
Sat, 9 Apr 2022 19:46:25 +0000 (15:46 -0400)
commitf21944da1cf24cc2bbf1d4dfbd3aaa698d4f0a70
treedb2b46ee74eb66ef9522e53d1bc5cbc5e02c1ffa
parent59c6934e741aa937bbdaf686d8fc6eb3f1e11f3c
parent9b6a8171c5a627f3a12829526ad7d80a0e157e77
Merge pull request #2577 from dbnicholson/man-html

Publish man pages